Programming Logic Modeling and Cross-Program Defect Detection Method for Object-Oriented Code
نویسندگان
چکیده
منابع مشابه
Distributed object oriented logic programming
In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...
متن کاملTowards Automated Defect Detection: Object-oriented Modeling of Construction Specifications
This paper describes an ongoing research on the representation and reasoning about construction specifications, which is part of a bigger research project that aims at developing a formalism for automating the identification of deviations and defects on construction sites. We specifically describe the requirements on product and process models and an approach for representing and reasoning abou...
متن کاملOOASP: Connecting Object-Oriented and Logic Programming
Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases – during which software engineers analyze requirements to the future system using some modeling language – are an important part of the development process, since modeling errors are often hard to recognize and correct. In this paper we present a framework which allows the integration of Ans...
متن کاملNets, logic and concurrent object-oriented programming
This paper introduces a temporal logic based on precedence constraints among events which captures net semantics, i.e. a particular net can be mapped into a semantic-equivalent formula in the logic. Tempo, a declarative concurrent programming language, is based on such logic and has a procedural interpretation which allows speciications to be executed as concurrent programs. Thus, the execution...
متن کاملModeling Object-Oriented Program Execution
This paperdescribes awayof organizing information about an object-orientedprogram’s execution. The context is our system for visualizing that execution. The critical constraints are completeness, compactness, and efficient retrieval. We describe our design and how it meets these constraints.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers, Materials & Continua
سال: 2020
ISSN: 1546-2226
DOI: 10.32604/cmc.2020.09659